منابع مشابه
Formal molecular biology
A language of formal proteins, the κ-calculus, is introduced. Interactions are modeled at the domain level, bonds are represented by means of shared names, and reactions are required to satisfy a causality requirement ofmonotonicity. An example of a simplified signalling pathway is introduced to illustrate how standard biological events can be expressed in our protein language. A more comprehen...
متن کاملCore Formal Molecular Biology
A core modeling language for Molecular Biology is introduced, where two simple forms of interaction are considered, complexation and activation. This core language is equipped with two sensible bisimulation-based equivalences, and it is shown that interactions involving complex reactants are superfluous up to these notions. Strong compilations in π-calculus are given, following Regev’s principl...
متن کاملFormal Methods in Molecular Biology
This report documents the program and the outcomes of the Seminar 11151 ‘Formal Methods in Molecular Biology’ that took place in Dagstuhl, Germany, on 10.–15. April, 2011. The most recent advances in Systems Biology were discussed, as well as and the contribution of computational formalisms to the modeling of biological systems, with the focus on stochasticity. About 30 talks were given. The pa...
متن کاملFormal Methods in Molecular Biology Dagstuhl Seminar
From 23. February to 27. February 2009, the Dagstuhl Seminar 09091 Formal Methods in Molecular Biology was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas a...
متن کاملFormal Molecular Biology Done in CCS-R
We present CCS-R, a reversible variant of Milner’s CCS. This simple process algebra offers a backtracking mechanism which is shown to be sound. We then discuss how biological systems satisfying a “perfect mix” assumption can be formalized within CCS-R. 1 A Language for the cell What some consider a revolution in biology has started a few years ago. New measurement technologies, such as DNA micr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2004
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.03.065